Integrand size = 25, antiderivative size = 357 \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=-\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {2 a^2 (e \cot (c+d x))^{5/2} \operatorname {EllipticF}\left (c-\frac {\pi }{4}+d x,2\right ) \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)}{3 d}+\frac {a^2 \arctan \left (1-\sqrt {2} \sqrt {\tan (c+d x)}\right ) (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)}{\sqrt {2} d}-\frac {a^2 \arctan \left (1+\sqrt {2} \sqrt {\tan (c+d x)}\right ) (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)}{\sqrt {2} d}+\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1-\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d}-\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1+\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d} \]
[Out]
Time = 0.43 (sec) , antiderivative size = 357, normalized size of antiderivative = 1.00, number of steps used = 21, number of rules used = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.680, Rules used = {3985, 3971, 3555, 3557, 335, 217, 1179, 642, 1176, 631, 210, 2689, 2694, 2653, 2720, 2687, 30} \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\frac {a^2 \tan ^{\frac {5}{2}}(c+d x) \arctan \left (1-\sqrt {2} \sqrt {\tan (c+d x)}\right ) (e \cot (c+d x))^{5/2}}{\sqrt {2} d}-\frac {a^2 \tan ^{\frac {5}{2}}(c+d x) \arctan \left (\sqrt {2} \sqrt {\tan (c+d x)}+1\right ) (e \cot (c+d x))^{5/2}}{\sqrt {2} d}-\frac {4 a^2 \tan (c+d x) (e \cot (c+d x))^{5/2}}{3 d}+\frac {a^2 \tan ^{\frac {5}{2}}(c+d x) (e \cot (c+d x))^{5/2} \log \left (\tan (c+d x)-\sqrt {2} \sqrt {\tan (c+d x)}+1\right )}{2 \sqrt {2} d}-\frac {a^2 \tan ^{\frac {5}{2}}(c+d x) (e \cot (c+d x))^{5/2} \log \left (\tan (c+d x)+\sqrt {2} \sqrt {\tan (c+d x)}+1\right )}{2 \sqrt {2} d}-\frac {4 a^2 \tan (c+d x) \sec (c+d x) (e \cot (c+d x))^{5/2}}{3 d}-\frac {2 a^2 \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x) \sec (c+d x) \operatorname {EllipticF}\left (c+d x-\frac {\pi }{4},2\right ) (e \cot (c+d x))^{5/2}}{3 d} \]
[In]
[Out]
Rule 30
Rule 210
Rule 217
Rule 335
Rule 631
Rule 642
Rule 1176
Rule 1179
Rule 2653
Rule 2687
Rule 2689
Rule 2694
Rule 2720
Rule 3555
Rule 3557
Rule 3971
Rule 3985
Rubi steps \begin{align*} \text {integral}& = \left ((e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {(a+a \sec (c+d x))^2}{\tan ^{\frac {5}{2}}(c+d x)} \, dx \\ & = \left ((e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \left (\frac {a^2}{\tan ^{\frac {5}{2}}(c+d x)}+\frac {2 a^2 \sec (c+d x)}{\tan ^{\frac {5}{2}}(c+d x)}+\frac {a^2 \sec ^2(c+d x)}{\tan ^{\frac {5}{2}}(c+d x)}\right ) \, dx \\ & = \left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {1}{\tan ^{\frac {5}{2}}(c+d x)} \, dx+\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {\sec ^2(c+d x)}{\tan ^{\frac {5}{2}}(c+d x)} \, dx+\left (2 a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {\sec (c+d x)}{\tan ^{\frac {5}{2}}(c+d x)} \, dx \\ & = -\frac {2 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {1}{3} \left (2 a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {\sec (c+d x)}{\sqrt {\tan (c+d x)}} \, dx-\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \int \frac {1}{\sqrt {\tan (c+d x)}} \, dx+\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{x^{5/2}} \, dx,x,\tan (c+d x)\right )}{d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {\left (2 a^2 (e \cot (c+d x))^{5/2} \sin ^{\frac {5}{2}}(c+d x)\right ) \int \frac {1}{\sqrt {\cos (c+d x)} \sqrt {\sin (c+d x)}} \, dx}{3 \cos ^{\frac {5}{2}}(c+d x)}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{\sqrt {x} \left (1+x^2\right )} \, dx,x,\tan (c+d x)\right )}{d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {1}{3} \left (2 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)\right ) \int \frac {1}{\sqrt {\sin (2 c+2 d x)}} \, dx-\frac {\left (2 a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{1+x^4} \, dx,x,\sqrt {\tan (c+d x)}\right )}{d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {2 a^2 (e \cot (c+d x))^{5/2} \operatorname {EllipticF}\left (c-\frac {\pi }{4}+d x,2\right ) \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)}{3 d}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\sqrt {\tan (c+d x)}\right )}{d}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\sqrt {\tan (c+d x)}\right )}{d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {2 a^2 (e \cot (c+d x))^{5/2} \operatorname {EllipticF}\left (c-\frac {\pi }{4}+d x,2\right ) \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)}{3 d}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\sqrt {\tan (c+d x)}\right )}{2 d}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\sqrt {\tan (c+d x)}\right )}{2 d}+\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\sqrt {\tan (c+d x)}\right )}{2 \sqrt {2} d}+\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\sqrt {\tan (c+d x)}\right )}{2 \sqrt {2} d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {2 a^2 (e \cot (c+d x))^{5/2} \operatorname {EllipticF}\left (c-\frac {\pi }{4}+d x,2\right ) \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)}{3 d}+\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1-\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d}-\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1+\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d}-\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\sqrt {2} \sqrt {\tan (c+d x)}\right )}{\sqrt {2} d}+\frac {\left (a^2 (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\sqrt {2} \sqrt {\tan (c+d x)}\right )}{\sqrt {2} d} \\ & = -\frac {4 a^2 (e \cot (c+d x))^{5/2} \tan (c+d x)}{3 d}-\frac {4 a^2 (e \cot (c+d x))^{5/2} \sec (c+d x) \tan (c+d x)}{3 d}-\frac {2 a^2 (e \cot (c+d x))^{5/2} \operatorname {EllipticF}\left (c-\frac {\pi }{4}+d x,2\right ) \sec (c+d x) \sqrt {\sin (2 c+2 d x)} \tan ^2(c+d x)}{3 d}+\frac {a^2 \arctan \left (1-\sqrt {2} \sqrt {\tan (c+d x)}\right ) (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)}{\sqrt {2} d}-\frac {a^2 \arctan \left (1+\sqrt {2} \sqrt {\tan (c+d x)}\right ) (e \cot (c+d x))^{5/2} \tan ^{\frac {5}{2}}(c+d x)}{\sqrt {2} d}+\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1-\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d}-\frac {a^2 (e \cot (c+d x))^{5/2} \log \left (1+\sqrt {2} \sqrt {\tan (c+d x)}+\tan (c+d x)\right ) \tan ^{\frac {5}{2}}(c+d x)}{2 \sqrt {2} d} \\ \end{align*}
Result contains higher order function than in optimal. Order 5 vs. order 4 in optimal.
Time = 12.83 (sec) , antiderivative size = 93, normalized size of antiderivative = 0.26 \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=-\frac {2 a^2 e \cos ^4\left (\frac {1}{2} (c+d x)\right ) (e \cot (c+d x))^{3/2} \left (2+2 \operatorname {Hypergeometric2F1}\left (-\frac {3}{4},\frac {1}{2},\frac {1}{4},-\tan ^2(c+d x)\right )-\operatorname {Hypergeometric2F1}\left (\frac {3}{4},1,\frac {7}{4},-\cot ^2(c+d x)\right )\right ) \sec ^4\left (\frac {1}{2} \cot ^{-1}(\cot (c+d x))\right )}{3 d} \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 17.61 (sec) , antiderivative size = 496, normalized size of antiderivative = 1.39
method | result | size |
default | \(-\frac {a^{2} e^{2} \sqrt {2}\, \left (\cos \left (d x +c \right )+1\right ) \left (-3 i \sin \left (d x +c \right ) \sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticPi}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )+3 i \sin \left (d x +c \right ) \sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticPi}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )+3 \sin \left (d x +c \right ) \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \operatorname {EllipticPi}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )+3 \sin \left (d x +c \right ) \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \operatorname {EllipticPi}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-2 \sin \left (d x +c \right ) \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \operatorname {EllipticF}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {\sqrt {2}}{2}\right )+4 \sqrt {2}\, \cos \left (d x +c \right )\right ) \sqrt {e \cot \left (d x +c \right )}\, \sec \left (d x +c \right ) \csc \left (d x +c \right )}{6 d}\) | \(496\) |
parts | \(-\frac {2 a^{2} e \left (\frac {\left (e \cot \left (d x +c \right )\right )^{\frac {3}{2}}}{3}-\frac {e^{2} \sqrt {2}\, \left (\ln \left (\frac {e \cot \left (d x +c \right )-\left (e^{2}\right )^{\frac {1}{4}} \sqrt {e \cot \left (d x +c \right )}\, \sqrt {2}+\sqrt {e^{2}}}{e \cot \left (d x +c \right )+\left (e^{2}\right )^{\frac {1}{4}} \sqrt {e \cot \left (d x +c \right )}\, \sqrt {2}+\sqrt {e^{2}}}\right )+2 \arctan \left (\frac {\sqrt {2}\, \sqrt {e \cot \left (d x +c \right )}}{\left (e^{2}\right )^{\frac {1}{4}}}+1\right )-2 \arctan \left (-\frac {\sqrt {2}\, \sqrt {e \cot \left (d x +c \right )}}{\left (e^{2}\right )^{\frac {1}{4}}}+1\right )\right )}{8 \left (e^{2}\right )^{\frac {1}{4}}}\right )}{d}-\frac {2 a^{2} e \left (e \cot \left (d x +c \right )\right )^{\frac {3}{2}}}{3 d}-\frac {2 a^{2} \sqrt {2}\, e^{2} \sqrt {e \cot \left (d x +c \right )}\, \left (-\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticF}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {\sqrt {2}}{2}\right ) \cot \left (d x +c \right )^{2}-\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticF}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {\sqrt {2}}{2}\right ) \cot \left (d x +c \right ) \csc \left (d x +c \right )+\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticF}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {\sqrt {2}}{2}\right ) \csc \left (d x +c \right )^{2}+\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )+1}\, \sqrt {\cot \left (d x +c \right )-\csc \left (d x +c \right )}\, \operatorname {EllipticF}\left (\sqrt {\csc \left (d x +c \right )-\cot \left (d x +c \right )+1}, \frac {\sqrt {2}}{2}\right ) \sec \left (d x +c \right ) \csc \left (d x +c \right )^{2}+\sqrt {2}\, \csc \left (d x +c \right )\right )}{3 d}\) | \(568\) |
[In]
[Out]
Timed out. \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\text {Timed out} \]
[In]
[Out]
Timed out. \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\text {Timed out} \]
[In]
[Out]
Exception generated. \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\text {Exception raised: ValueError} \]
[In]
[Out]
\[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\int { \left (e \cot \left (d x + c\right )\right )^{\frac {5}{2}} {\left (a \sec \left (d x + c\right ) + a\right )}^{2} \,d x } \]
[In]
[Out]
Timed out. \[ \int (e \cot (c+d x))^{5/2} (a+a \sec (c+d x))^2 \, dx=\int {\left (e\,\mathrm {cot}\left (c+d\,x\right )\right )}^{5/2}\,{\left (a+\frac {a}{\cos \left (c+d\,x\right )}\right )}^2 \,d x \]
[In]
[Out]